Optimal. Leaf size=161 \[ \frac{a (d x)^{m+1} \sqrt{a+b x^n+c x^{2 n}} F_1\left (\frac{m+1}{n};-\frac{3}{2},-\frac{3}{2};\frac{m+n+1}{n};-\frac{2 c x^n}{b-\sqrt{b^2-4 a c}},-\frac{2 c x^n}{b+\sqrt{b^2-4 a c}}\right )}{d (m+1) \sqrt{\frac{2 c x^n}{b-\sqrt{b^2-4 a c}}+1} \sqrt{\frac{2 c x^n}{\sqrt{b^2-4 a c}+b}+1}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.17926, antiderivative size = 161, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.083, Rules used = {1385, 510} \[ \frac{a (d x)^{m+1} \sqrt{a+b x^n+c x^{2 n}} F_1\left (\frac{m+1}{n};-\frac{3}{2},-\frac{3}{2};\frac{m+n+1}{n};-\frac{2 c x^n}{b-\sqrt{b^2-4 a c}},-\frac{2 c x^n}{b+\sqrt{b^2-4 a c}}\right )}{d (m+1) \sqrt{\frac{2 c x^n}{b-\sqrt{b^2-4 a c}}+1} \sqrt{\frac{2 c x^n}{\sqrt{b^2-4 a c}+b}+1}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1385
Rule 510
Rubi steps
\begin{align*} \int (d x)^m \left (a+b x^n+c x^{2 n}\right )^{3/2} \, dx &=\frac{\left (a \sqrt{a+b x^n+c x^{2 n}}\right ) \int (d x)^m \left (1+\frac{2 c x^n}{b-\sqrt{b^2-4 a c}}\right )^{3/2} \left (1+\frac{2 c x^n}{b+\sqrt{b^2-4 a c}}\right )^{3/2} \, dx}{\sqrt{1+\frac{2 c x^n}{b-\sqrt{b^2-4 a c}}} \sqrt{1+\frac{2 c x^n}{b+\sqrt{b^2-4 a c}}}}\\ &=\frac{a (d x)^{1+m} \sqrt{a+b x^n+c x^{2 n}} F_1\left (\frac{1+m}{n};-\frac{3}{2},-\frac{3}{2};\frac{1+m+n}{n};-\frac{2 c x^n}{b-\sqrt{b^2-4 a c}},-\frac{2 c x^n}{b+\sqrt{b^2-4 a c}}\right )}{d (1+m) \sqrt{1+\frac{2 c x^n}{b-\sqrt{b^2-4 a c}}} \sqrt{1+\frac{2 c x^n}{b+\sqrt{b^2-4 a c}}}}\\ \end{align*}
Mathematica [B] time = 3.31845, size = 618, normalized size = 3.84 \[ \frac{x (d x)^m \left ((m+1) \left (2 (m+n+1) \left (4 a^2 c \left (m^2+m (6 n+2)+8 n^2+6 n+1\right )+a \left (3 b^2 n^2+2 b c \left (4 m^2+m (21 n+8)+23 n^2+21 n+4\right ) x^n+4 c^2 \left (2 m^2+m (9 n+4)+10 n^2+9 n+2\right ) x^{2 n}\right )+x^n \left (b+c x^n\right ) \left (3 b^2 n^2+2 b c \left (2 m^2+m (9 n+4)+7 n^2+9 n+2\right ) x^n+4 c^2 \left (m^2+m (3 n+2)+2 n^2+3 n+1\right ) x^{2 n}\right )\right )-3 b n^2 x^n \left (b^2 (2 m+n+2)-4 a c (2 m+3 n+2)\right ) \sqrt{\frac{-\sqrt{b^2-4 a c}+b+2 c x^n}{b-\sqrt{b^2-4 a c}}} \sqrt{\frac{\sqrt{b^2-4 a c}+b+2 c x^n}{\sqrt{b^2-4 a c}+b}} F_1\left (\frac{m+n+1}{n};\frac{1}{2},\frac{1}{2};\frac{m+2 n+1}{n};-\frac{2 c x^n}{b+\sqrt{b^2-4 a c}},\frac{2 c x^n}{\sqrt{b^2-4 a c}-b}\right )\right )-6 a n^2 (m+n+1) \left (b^2 (m+1)-4 a c (m+2 n+1)\right ) \sqrt{\frac{-\sqrt{b^2-4 a c}+b+2 c x^n}{b-\sqrt{b^2-4 a c}}} \sqrt{\frac{\sqrt{b^2-4 a c}+b+2 c x^n}{\sqrt{b^2-4 a c}+b}} F_1\left (\frac{m+1}{n};\frac{1}{2},\frac{1}{2};\frac{m+n+1}{n};-\frac{2 c x^n}{b+\sqrt{b^2-4 a c}},\frac{2 c x^n}{\sqrt{b^2-4 a c}-b}\right )\right )}{8 c (m+1) (m+n+1)^2 (m+2 n+1) (m+3 n+1) \sqrt{a+x^n \left (b+c x^n\right )}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.253, size = 0, normalized size = 0. \begin{align*} \int \left ( dx \right ) ^{m} \left ( a+b{x}^{n}+c{x}^{2\,n} \right ) ^{{\frac{3}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (c x^{2 \, n} + b x^{n} + a\right )}^{\frac{3}{2}} \left (d x\right )^{m}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: UnboundLocalError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (c x^{2 \, n} + b x^{n} + a\right )}^{\frac{3}{2}} \left (d x\right )^{m}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]